More from this Author

Integrated Formal Methods

by Wolfgang Ahrendt (Editor), Silvia Lizeth Tapia Tarifa (Editor)

Tests and Proofs

by Wolfgang Ahrendt (Editor), Heike Wehrheim (Editor)

Deductive Software Verification - the KeY Book

by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Mattias Ulbrich (Editor)